separation theorem

分离定理